<?php
require_once('lzu_op_fns.php');
if(session_status() == PHP_SESSION_NONE) {
    session_start();
}
check_valid_user();
$old_user=$_SESSION['valid_user'];
unset($_SESSION['valid_user']);
$result_dest=session_destroy();
do_html_header('正在退出...');
if(!empty($old_user)){
    if($result_dest){
        echo '<p>您已经成功退出！</p>';
        echo "<a href='login.php'>点击以登录</a>";
    }else{
        echo '<p>退出失败！</p>';
    }
}else{
    echo '<p>您还没有登录！</p>';
    echo "<a href='login.php'>点击以登录</a>";
}
do_html_footer();
?>